Hoare logic - PDFSEARCH.IO - Document Search Engine

Hoare logic
Results: 111

#	Item
81	Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, P[removed]Braga, Portugal Email: [removed] Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:21 Mathematics Metalogic Hoare logic Predicate transformer semantics Structure Interpretation Program logic Model theory Logic
82	On Refinement Calculus and Partial Correctness (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:15 Program logic Functions and mappings Function Hoare logic Refinement calculus S Monad Uniform space Mathematics Mathematical logic Formal methods
83	Last Time ➜ Equations and Term Rewriting ➜ Confluence and Termination of reduction systems COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal languages Logic in computer science Mathematical logic Rewriting Critical pair Knuth–Bendix completion algorithm Lambda calculus Confluence Hoare logic Theoretical computer science Mathematics Programming language theory
84	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 C++ C programming language ALGOL 68 Pointer C++ classes Struct Hoare logic Type safety Software engineering Programming language theory Computing
85	Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:23:54 Predicate transformer semantics Hoare logic Partial redundancy elimination Program logic Theoretical computer science Formal methods
86	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
87	Automatic Function Annotations for Hoare Logic Daniel Matichuk NICTA Sydney, Australia [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-11-27 21:22:39 Formal methods Predicate transformer semantics Hoare logic Annotation Logic Mathematical proof Function Mathematics Program logic Knowledge
88	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
89	The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:44:16 Program logic Concurrent computing Hoare logic Logic programming Communicating sequential processes Modal logic KeY Guarded Command Language Well-formed formula Logic Theoretical computer science Mathematics
90	Contextual Reasoning in the Verification of PRS Agent Programs Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:39:58 Problem solving Cognitive architecture Multi-agent systems Management Project management Procedural reasoning system Reasoning system Logic programming Hoare logic Artificial intelligence Science Logic

UPDATE